Theorem 14.1.2